package operateurs;

import base.Formule;

/**
 * Created by IntelliJ IDEA.
 * User: njussien
 * Date: 30/11/12
 * Time: 10:34
 */
public abstract class OperateurBinaire extends OperateurUnaire {
    protected Formule operandedroit;
    
    public boolean isQuantifieursInOrder(boolean aUniversel){
    	return this.operande.isQuantifieursInOrder(aUniversel) && this.operandedroit.isQuantifieursInOrder(aUniversel);
    }
    
	public boolean isQuantifieursFirsts(boolean nonQuantifeur) {
		return this.operande.isQuantifieursFirsts(true) && this.operandedroit.isQuantifieursFirsts(true);
	}
}
